EN FR
EN FR




Section: Dissemination

Interaction with the scientific community

Prizes and distinctions

  • S. Conchon, E. Contejean and M. Iguernelala got the award 2011 of the European Association for Theoretical Computer Science http://www.eatcs.org/index.php/best-etaps-paper for the best theoretical paper of all ETAPS Conferences [24] .

  • C. Paulin received an honorary doctorate from the University of Gothenburg in Sweden on October 21, 2011.

Collective responsibilities within INRIA

  • S. Boldo, elected member of the Inria Evaluation Committee.

  • S. Boldo, member of the CLHS ,comité local hygiène et sécurité and member of the CLFP, comité local de formation permanente.

  • S. Boldo, member of the committee for the monitoring of PhD students (commission de suivi des doctorants).

  • S. Boldo, member of the MECSI group for networking about computer science popularization inside INRIA.

  • C. Paulin participates to the board of INRIA Saclay - Île-de-France Comité des Projets (assembly of Team leaders).

  • C. Paulin is a member of the “Commission Scientifique” (in charge of selecting PhD students, post-doc, invited researchers funded by INRIA Saclay - Île-de-France).

Collective responsibilities outside INRIA

  • E. Contejean and C. Marché, nominated members of the “conseil du laboratoire” of LRI since April 2010.

  • C. Marché, French National Coordinator for the COST action “Formal Verification of Object-Oriented Programs” (2008-2012).

  • C. Marché (since April 2007) and C. Paulin (since Sep. 2010) , members of the program committee of Digiteo Labs, the world-class research park in Île-de-France region dedicated to information and communication science and technology, http://www.digiteo.fr/ .

  • C. Marché, member of the selection committee of the “DIM Logiciels et Systèmes Complexes”, providing grants to research projects, funded by Île-de-France regional council and Digiteo cluster, http://www.dimlsc.fr/ .

  • G. Melquiond, elected officer of the IEEE-1788 standardization committee on interval arithmetic since 2008.

  • G. Melquiond, C. Paulin, members of the “commission consultative de spécialistes de l'université”, Section 27, University Paris-Sud since April 2010.

  • G. Melquiond is an examiner for the computer science entrance exam to École Normale Supérieure since 2010.

  • C. Paulin, director of the Graduate school in Computer Science at University Paris Sud http://edips.lri.fr/ .

  • C. Paulin is deputy director of the LRI.

  • C. Paulin was the president of an hiring committee for a professor position at University Paris-Sud. She participated to two hiring commitees (professor position at ENSEEIHT Toulouse and assistant professor for the PPS laboratory at University Paris Diderot)

  • C. Paulin participated to the review panels for the German Excellence Initiative proposals for Graduate Schools in informatics.

  • J.-C. Filliâtre is correcteur au concours d'entrée à l'École Polytechnique (computer science examiner for the entrance exam at École Polytechnique) since 2008.

  • X. Urbain, hiring committee for an assistant professor position at École Centrale, Paris (Spring 2011).

  • X. Urbain is an elected member of the board (“conseil d'administration”) of École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE). Since July he is head of the teaching departement of ENSIIE.